Modal logic

Results: 1643



#Item
981Philosophical logic / Predicate logic / Propositional calculus / Metalogic / First-order logic / FO / Modal logic / Propositional variable / Closed world assumption / Logic / Mathematical logic / Model theory

Approximate Databases: A Support Tool for Approximate Reasoning Patrick Doherty* , Martin Magnusson* , Andrzej Szałas*,** * Department of Computer and Information Science, University of Linköping, SE[removed]Linköping,

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-01-23 11:39:09
982Dichotomies / Modal logic / Natural philosophy / Potentiality and actuality / Philosophy / Logic / Aristotelianism / Causality

NANCY RAUCH DOUZINAS After a career of twenty years as a psychologist and family therapist, Nancy Rauch Douzinas decided to devote herself to expanding and building the Rauch Foundation, a family foundation created by he

Add to Reading List

Source URL: lii-production.s3.amazonaws.com

Language: English - Date: 2012-10-01 14:32:33
983Control theory / Design for X / Maintainability / Maintenance / Telecommunications / Lyapunov stability / State space / Group action / Modal logic / Logic / Mathematics / Science

Maintainability: a weaker stabilizability like notion for high level control Mutsumi Nakamura Department of CSE University of Texas at Arlington Arlington, TX 76019, USA [removed]

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-01-24 05:35:27
984Contextualism / Metatheory / Relativism / Skepticism / Linguistics / Semantics / Adjective / Indexicality / Modal logic / Philosophy / Logic / Justification

The Indexicality of ‘Knowledge’∗ Michael Blome-Tillmann (January[removed]

Add to Reading List

Source URL: philpapers.org

Language: English
985Dichotomies / Modal logic / Natural philosophy / Potentiality and actuality / Philosophy / Logic / Aristotelianism / Causality

NANCY RAUCH DOUZINAS After a career of twenty years as a psychologist and family therapist, Nancy Rauch Douzinas decided to devote herself to expanding and building the Rauch Foundation, a family foundation created by he

Add to Reading List

Source URL: lii-production.s3.amazonaws.com

Language: English - Date: 2012-10-02 13:31:16
986Linear temporal logic / Mathematical logic / Logic / Norm / Modal logic

Reasoning about Normative Update Natasha Alechina University of Nottingham Nottingham, UK [removed]

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2013-04-23 07:25:54
987Epistemic modal logic / Logic / Constructible universe / Mathematical logic / Modal logic / Artificial intelligence

Reasoning about other agents’ beliefs under bounded resources Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? School of Computer Science University of Nottingham Nottingham NG8 1BB, UK

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-03-19 13:18:33
988Mathematical logic / Formal languages / Metalogic / Interpretation / First-order logic / Well-formed formula / Entailment / Modal logic / Linear temporal logic / Logic / Model theory / Logical syntax

Ascribing beliefs to resource bounded agents Natasha Alechina Brian Logan School of Computer Science and IT

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2003-06-07 19:12:08
989Entailment / Logical consequence / Metalogic / Modal logic / Valuation / Logic / Philosophical logic / Deduction

Expressing Properties of Coalitional Ability under Resource Bounds ? Natasha Alechina Brian Logan

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-20 13:41:21
990Model theory / Reasoning / Logical truth / Epistemic modal logic / Substitution / Inference / Well-formed formula / Interpretation / Constructible universe / Logic / Formal languages / Modal logic

Verifying space and time requirements for resource-bounded agents Natasha Alechina Piergiorgio Bertoli

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-11 12:40:28
UPDATE